منابع مشابه
Where next for China’s population policy?
Crowded China: Following the doubling of its population under chairman Mao Zedong, China introduced the one-child policy to stop the population explosion. (Photo: © Sophie Caron.) The world in 1979, half-way between Hiroshima and today, is already beginning to look exotic in the rearview mirror. Jimmy Carter was still the US president, Margaret Thatcher became the UK’s prime minister, while Leo...
متن کاملWhere next for antibiotics?
Since the discovery of penicillin in the 1940s, antibiotic resistance among bacteria has been a growing problem. It has enabled major killers such as tubercu losis and pneumonia to stage comebacks in developed countries, and has led to multiple drug-resistant strains of bacteria that can be fatal for people with compromised immune systems. The World Health Organization (WHO) believes that the s...
متن کاملWhere next?
This paper provides a personal perspective on the rich discussions at the Bixby Forum. The size, rate of growth and age structure of the human population interact with many other key factors, from environmental change to governance. While the details of future interactions are sometimes difficult to predict, taken together they pose sombre threats to a socially and economically sustainable futu...
متن کاملWhere Next for Microbiome Research?
The development of high-throughput sequencing technologies has transformed our capacity to investigate the composition and dynamics of the microbial communities that populate diverse habitats. Over the past decade, these advances have yielded an avalanche of metagenomic data. The current stage of "van Leeuwenhoek"-like cataloguing, as well as functional analyses, will likely accelerate as DNA a...
متن کاملWhere Next for Formal Methods?
In this paper we propose a novel approach to the analysis of security protocols, using the process algebra CSP to model such protocols and verifying security properties using a combination of the FDR model checker and the PVS theorem prover. Although FDR and PVS have enjoyed success individually in this domain, each suffers from its own deficiency: the model checker is subject to state space ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Current Biology
سال: 2014
ISSN: 0960-9822
DOI: 10.1016/j.cub.2014.01.035